Θεωρία τύπων - definizione. Che cos'è Θεωρία τύπων
DICLIB.COM
Strumenti linguistici IA
Inserisci una parola o una frase in qualsiasi lingua 👆
Lingua:     

Traduzione e analisi delle parole da parte dell'intelligenza artificiale

In questa pagina puoi ottenere un'analisi dettagliata di una parola o frase, prodotta utilizzando la migliore tecnologia di intelligenza artificiale fino ad oggi:

  • come viene usata la parola
  • frequenza di utilizzo
  • è usato più spesso nel discorso orale o scritto
  • opzioni di traduzione delle parole
  • esempi di utilizzo (varie frasi con traduzione)
  • etimologia

Cosa (chi) è Θεωρία τύπων - definizione


Θεωρία τύπων         
Στα Μαθηματικά, στη Λογική και στη Επιστήμη των Υπολογιστών, η Θεωρία Τύπων είναι ένα από τα τυπικά συστήματα τα οποία χρησιμοποιούνται στην Απλοϊκή Θεωρία Συνόλων, ή στη μελέτη τέτοιων φορμαλισμών γενικότερα. Στη Θεωρία των Γλωσσών Προγραμματισμού, ενός κλάδου της Επιστήμης των Υπολογιστών, η Θεωρία Τύπων μπορεί να αναφέρεται στο σχεδιασμό, στην ανάλυση και στη μελέτη των Συστημάτων Τύπων, παρόλο που κάποιοι επιστήμονες της Πληροφορικής περιορίζουν τη σημασία του όρου στη μελέτη των αφηρημένων φορμαλισμών όπως ο λ-λογισμός με τύπους.
Θεωρία         
Υπάρχουν πλέον πειστικές ενδείξεις ότι η θεωρία υπερχορδών αποτελεί μέρος μίας πληρέστερης θεωρίας, η οποία αποκαλείται συνήθως Θεωρία-Μ. Σημαντικό μέρος της γνώσης μας για τη θεωρία-Μ προέρχεται από το όριο χαμηλής ενέργειας, το οποίο περιγράφεται από την ενδεκαδιάστατη υπερβαρύτητα.
Θεωρία παιγνίων         
ΘΕΩΡΙΑ ΠΕΡΊ ΠΑΙΓΝΙΩΝ
Θεωρία παιχνιδιών; Θεωρία Παίγνιου; Θεωρία Παιγνίων
Η θεωρία παιγνίων (game theory) ξεκίνησε ως κλάδος των οικονομικών με το βιβλίο των Τζον φον Νόιμαν (John von Neumann) και Όσκαρ Μόργκενστερν (Oskar Morgenstern), Theory of Games and Economic Behaviour πάνω σε παιχνίδια μηδενικού αθροίσματος (zero-sum games). Το κύριο αντικείμενό της είναι η ανάλυση των αποφάσεων σε καταστάσεις στρατηγικής αλληλεξάρτησης.